🔄 Lens Laws

Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Concurrency vs parallelism stop mixing them up, it’s embarrassing
dev.to·1d·
Discuss: DEV
🌊Stream Processing
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Thoughts on creating a tracking pointer class, part 15: A custom shared pointer
devblogs.microsoft.com·1d
🧠Separation Logic
Google Summer of Code 2025 Reports: Asynchronous I/O Framework
blog.netbsd.org·11h
🔩Systems Programming
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
A Hierarchical Signal Coordination and Control System Using a Hybrid Model-based and Reinforcement Learning Approach
arxiv.org·2d
✨Effect Handlers
Why "What Happened First?" Is One of the Hardest Questions in Large-Scale Systems
newsletter.scalablethread.com·7h·
Discuss: r/programming
🤝Consensus Networks
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·14m
⚡Circuit Design
Salesforce near membrane: Sandbox JavaScript object graphs
opensource.salesforce.com·34m·
Discuss: Hacker News
🛡️WASM Sandboxing
Sheafification - The optimal path to mathematical mastery
sheafification.com·42m·
Discuss: Hacker News
🕸️Algebraic Topology
How Go Schedules Millions of Goroutines: A Deep Dive into GMP
medium.com·12h·
Discuss: r/golang
🔩Systems Programming
Matrix Multiplication on Nvidia's Blackwell: Part 1 – Introduction
modular.com·1d·
Discuss: Hacker News
⚡SIMD Optimization
Notes on Programming in C by Rob Pike
lysator.liu.se·2d·
Discuss: Hacker News
🦀Rust Macros
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Hyper-Spectral Data Fusion for Enhanced Urban Change Detection via Bayesian Neural Networks
dev.to·6h·
Discuss: DEV
🧠Machine Learning